
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;

@RunWith(Suite.class)
@SuiteClasses({
	TestStat.class,
	TestMiniSatParameter.class,
	TestBasicParameter.class,
	TestSatellite_0_1.class,
	TestRevival.class,
	TestRSat.class,
	TestHypre.class,
	TestMiniSat.class	
})
public class AllTests {

}
